//===-- SolverStats.h -------------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#ifndef KLEE_SOLVERSTATS_H
#define KLEE_SOLVERSTATS_H

#include "klee/Statistic.h"

namespace klee {
namespace stats {

extern Statistic cexCacheTime;
extern Statistic queries;
extern Statistic queriesInvalid;
extern Statistic queriesValid;
extern Statistic queryCacheHits;
extern Statistic queryCacheMisses;
extern Statistic queryConstructTime;
extern Statistic queryConstructs;
extern Statistic queryCounterexamples;
extern Statistic queryTime;
} // namespace stats
} // namespace klee

#endif
